A probabilistic model for LCF

A Probabilistic Lcf Model for the Turbo Charger Compressor of a Jet Engine

investigating the feasibility of a proposed model for geometric design of deployable arch structures

deployable scissor type structures are composed of the so-called scissor-like elements (sles), which are connected to each other at an intermediate point through a pivotal connection and allow them to be folded into a compact bundle for storage or transport. several sles are connected to each other in order to form units with regular polygonal plan views. the sides and radii of the polygons are...

Nominal LCF: A Language for Generic Proof

The syntax and semantics of user-supplied hypothesis names in tactic languages is a thorny problem, because the binding structure of a proof is a function of the goal at which a tactic script is executed. We contribute a new language to deal with the dynamic and interactive character of names in tactic scripts called Nominal LCF, and endow it with a denotational semantics in dI-domains. A large...

A Probabilistic Model for COPD Diagnosis and Phenotyping Using Bayesian Networks

Introduction: This research was meant to provide a model for COPD diagnosis and to classify the cases into phenotypes; General COPD, Chronic bronchitis, Emphysema, and the Asthmatic COPD using a Bayesian Network (BN). Methods: The model was constructed through developing the Bayesian Network structure and instantiating the parameters for each of the variables. In order to validate the achiev...

A fuzzy production model with probabilistic resalable returns

In this paper, a fuzzy production inventory model with resalable returns has been analysed in an imprecise and uncertain environment by considering the cost and revenue parameters as trapezoidal fuzzy numbers. The main objective is to determine the optimal fuzzy production lotsize which maximizes the expected profit where the products leftout at the end of the period are salvaged and demands wh...